es{-}interface{-}disjoint(${\it es}$;$X$;$Y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:es{-}E(${\it es}$). $\neg$(($\uparrow$($e$ $\in_{b}$ $X$)) \& ($\uparrow$($e$ $\in_{b}$ $Y$)))